Seventeen-Year Journey Working With a Master

Compiling a 50-year journey

Fifty years ago, John McCarthy and James Painter (1967) published the first paper on compiler verification, in which they showed how to formally prove the correctness of a compiler that translates arithmetic expressions into code for a register-based machine. In this article, we revisit this example in a modern context, and show how such a compiler can now be calculated directly from a specific...

A Seventeen-Year Study of Plant Succession in Prairie

A seventeen-year-old female with hepatosplenic T-cell lymphoma associated with parvoviral infection

Hepatosplenic T-cell lymphoma (HSTL) is rare, being derived from cytotoxic T-cells, and manifests as an extranodal systemic lymphoma. We present an unusual case of a seventeen-year-old female, with no significant prior medical history, presenting with a hepatosplenic T-cell lymphoma. The diagnosis was confirmed by histological examination, immunohistochemisty, and flow cytometry. A staging work...

working in paradise with the master, mohammad shaheer

landscape architect mohammad shaheer (1948-2015) was the principal consultant in the restoration of several historic gardens in india and afghanistan. this article presents his particular approaches and methods in three landscape restoration projects: humayun’s tomb gardens and sunder nursery central axis in delhi, and babur garden in kabul.shaheer had a deep understanding of persian garden and...

A case of pachydermodactyly in a seventeen year old associated with repetitive minor trauma.

A boy presented initially to a Rheumatology clinic with a three year history of asymptomatic swelling of the third to fourth proximal interphalangeal (PIP) joints bilaterally. A presumptive diagnosis of seronegative arthritis was made. Sulfasalazine was commenced without improvement and resulted in mood disturbance. Blood tests including ESR, lupus anticoagulant, rheumatoid factor and CCP antib...